Remove spin_barrier_irq(). It is pointless.
authorKeir Fraser <keir@xen.org>
Sat, 26 Mar 2011 08:27:41 +0000 (08:27 +0000)
committerKeir Fraser <keir@xen.org>
Sat, 26 Mar 2011 08:27:41 +0000 (08:27 +0000)
commit1b5efa212fcff6439d91cbc04cda7d57b498d582
tree189c800e94c68107a395aa44f67a5617e1b8967c
parent138a41150a2ded3f0c96a726ba4d28a30fe59b58
Remove spin_barrier_irq(). It is pointless.

Add a barrier-appropriate consistency check to spinlock.c, and add
code comments to explain why barrier operations are more relaxed than
lock-acquisition operations.

Signed-off-by: Keir Fraser <keir@xen.org>
xen/common/event_channel.c
xen/common/spinlock.c
xen/include/xen/spinlock.h